Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท16hยท
Discuss: DEV
๐ŸงฉRISC-V
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.comยท37mยท
๐Ÿ› ๏ธGreaseweazle
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Michael Kohn - tin can phone modem
mikekohn.netยท2h
๐ŸงชCassette Hacks
The CV-1000 returns, but at what cost?
nicole.expressยท16h
๐Ÿ•น๏ธRetro Gaming
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.orgยท15h
โš™๏ธCompression Benchmarking
LED Strips
revk.ukยท5hยท
Discuss: www.revk.uk
โš™๏ธDIY Electronics
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
Jankiest rpi router
mloduchowski.comยท1dยท
Discuss: r/homelab
๐Ÿ”ŒSingle Board PC
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
The Linus Method: How we simiplifed RFC reviews
devashish.meยท2hยท
Discuss: Hacker News
โš™๏ธProof Engineering
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.orgยท4h
๐Ÿ”“Hacking
FoBE IDEA Mesh Tracker C1 โ€“ An nRF52840-based LoRa GPS tracker with sensors, OLED, knob, and more
cnx-software.comยท7h
๐Ÿ”ŒSingle Board PC
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Who Invented the Johnson Decade Counter (and Why)?
eejournal.comยท1dยท
Discuss: Hacker News
โšกHomebrew CPUs
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
APRS over LoRa with RNode | unsigned.io
unsigned.ioยท8h
๐Ÿ“ปHomebrew Protocols
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis